@echo off
rem Runs a collection of VDM++ test examples
rem Assumes specification is in Word RTF files

set A1=Author.rtf
set A2=TestValidation.rtf
set A3=Publication.rtf

"C:\Programs\VDM++Toolbox_v8.1.1b\bin\vppde" -p -R vdm.tc %A1% %A2% %A3%
for /R %%f in (*.arg) do call vdmtest "%%f" 